Towards a Multi Target Quantum Computational Logic
نویسندگان
چکیده
منابع مشابه
Towards a skew lattice approach to quantum (computational) logic
In quantum mechanics, each observable is assigned a collection of projections. Two observables are compatible (can be measured simultaneously) if and only if any two projections that are assigned to them commute. This led to the study of noncommuting sets of idempotents which further led to the skew lattice theory that was founded and explored by Jonathan Leech. In the present paper we shall se...
متن کاملTowards a multi-valued logic for argumentation
The objective of our paper is to investigate the possibilities of a logical representation for argumentation executed in multi-agent systems. We concentrate particularly on belief’s uncertainty and revision that an agent deals with throughout the process of discussion. Moreover, we propose a formalism based on a multi-valued logic that allows for specification of properties of multi-agent syste...
متن کاملTowards Computational Morality with Logic Programming
When autonomous agents are deployed in some field where moral dilemmas may arise, the need for imbuing them with some capacity of moral decision making becomes indispensable. Computational morality has emerged to address this issue, bringing together perspectives from different areas, including artificial intelligence. This PhD research investigates further the appropriateness of logic programm...
متن کاملQuantum computational logic with mixed states
Using an algebraic framework we solve a problem posed in [5] and [7] about the axiomatizability of a type quantum computational logic related to fuzzy logic. A Hilbert-style calculus is developed obtaining an algebraic strong completeness theorem.
متن کاملComputational Logic in Multi-Agent Systems
In this work we propose a formalization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new proposal for dealing with “contexts as abstract mathematical entities” is set forth, which is geared toward solving some problems arising in the area of normative system specifications for modeling multi-agent systems. Context...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Foundations of Science
سال: 2018
ISSN: 1233-1821,1572-8471
DOI: 10.1007/s10699-018-9569-8